" Ferruccio Damiani" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

Stefano Berardi, Ferruccio Damiani

Категория: Компьютеры

3.61 Mb

#2

Types for proofs and programs international conference, TYPES 2008 Torino, Italy, March 26-29, 2008: revised selected papers

Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro

4.52 Mb

#3

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Stefano Berardi, Mario Coppo, Ferruccio Damiani

3.44 Mb